On Some Mappings between Co-quasiordered Relational Systems
نویسنده
چکیده
The setting of this article is Bishop’s constructive mathematics. The connections between the strong mappings, U -mappings and L-mappings of co-quasiorder relational systems we analyzed. The relations between the strong mappings of co-quasiorder relational systems defined by Novotny and other mappings are also analysed. Finally, a new mapping between two relational systems is introduced. Some properties of these mappings and connection of these mappings to the other known mappings are investigated.
منابع مشابه
The existence of best proximity points and fixed points for new nonlinear mappings on quasiordered metric spaces
In this paper, we establish some new existence and convergence theorems of iterates of best proximity points on quasiordered metric spaces. Some applications to the fixed point theory are also given. Our results generalize and improve some known results in the literature. MSC: 41A50, 47H09, 47H10
متن کاملData Base Mappings and Monads: (Co)Induction
In this paper we presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (a database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms in DB category are used in order to express the semantics of viewbased Globa...
متن کاملWeakly Isotone and Strongly Reverse Isotone Mappings of Relational Systems
The setting of this article is Classical algebra and Bishop’s constructive algebra (the algebra based on the Intuitionistic logic). The Esakia’s concept in the classical mathematics of strongly isotone mapping between ordered sets is extended onto two different concepts of mappings: on the concept of weakly isotone and the concept of strongly reverse isotone mapping of relational systems. Some ...
متن کاملRODI: Benchmarking relational-to-ontology mapping generation quality
Accessing and utilizing enterprise or Web data that is scattered across multiple data sources is an important task for both applications and users. Ontology-based data integration, where an ontology mediates between the raw data and its consumers, is a promising approach to facilitate such scenarios. This approach crucially relies on high-quality mappings to relate the ontology and the data, th...
متن کاملSOME FIXED POINT THEOREMS FOR SINGLE AND MULTI VALUED MAPPINGS ON ORDERED NON-ARCHIMEDEAN FUZZY METRIC SPACES
In the present paper, a partial order on a non- Archimedean fuzzymetric space under the Lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.
متن کامل